A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

Source URL: ti.arc.nasa.gov

• Cross-platform software
• Numerical software
• Formal methods
• Simulation software
• Linear algebra
• MATLAB
• Simulink
• Verification condition generator
• Formal verification
• Command-line interface
• HTML element

NSK Product Lineup for Machine Tools We have two general catalogs on “Super Precision Bearings” and “Precision Machine Components” available, which contain detailed

Source URL: www.nskamericas.com

• Bearings
• Tribology
• NSK Ltd.
• Linear-motion bearing
• Ball screw
• Rolling-element bearing
• Ball bearing
• Lubricant
• Grease
• Lathe
• Screw
• Lubrication

NSK LINEAR AND MECHATRONICS PRODUCT CAPABILITIES Maximize Time, Resources and Innovation

Source URL: www.nskamericas.com

• Bearings
• Fuyo Group
• NSK Ltd.
• Rolling-element bearings
• Linear-motion bearing
• Bennington
• Vermont
• Ball screw

Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization Stephen H. Bach University of Maryland, College Park College Park, MD 20742

Source URL: stephenbach.net

• Operations research
• Mathematical optimization
• Convex optimization
• Multivariable calculus
• Linear programming
• Lagrange multiplier
• Finite element method
• Algorithm
• Interior point method

Posters at ADPatrick E. Farrell (Department of Earth Science and Engineering, Imperial College London, UK): Automating the adjoint of finite element discretisations In this work we demonstrate the capability of

Source URL: www.autodiff.org

• Mathematics
• Mathematical analysis
• Academia
• Operations research
• Differential calculus
• Automatic differentiation
• Computer algebra
• Applied mathematics
• Numerical analysis
• Finite element method
• Mathematical optimization
• Linear programming

Skipping Steps in Deformable Simulation with Online Model Reduction Theodore Kim1,2 University of Saskatchewan1 Doug L. James2 Cornell University2

Source URL: mat.ucsb.edu

• Mathematical analysis
• Mathematics
• Numerical analysis
• Operations research
• Simulation
• Finite element method
• Numerical integration
• Physically based animation
• Linear subspace

Differentially Private Billing with Rebates George Danezis1 , Markulf Kohlweiss1 , and Alfredo Rial2 1 Microsoft Research {gdane,markulf}@microsoft.com

Source URL: research.microsoft.com

• Information privacy
• Digital rights
• Human rights
• Identity management
• Law
• Privacy
• Differential privacy
• Element
• Internet privacy
• Draft:Sub-linear time algorithm
• Digital media
• Information

Introduction to communication avoiding linear algebra algorithms in high performance computing Laura Grigori Inria Rocquencourt/UPMC

Source URL: www.lifl.fr

• Algebra
• Linear algebra
• Mathematics
• Numerical linear algebra
• LU decomposition
• QR decomposition
• LAPACK
• Rank
• Parallel algorithm
• Matrix multiplication
• Pivot element
• Parallel computing

IMA Journal of Numerical Analysis, Superconvergent Recovery of the Gradient from Piecewise Linear Finite-element Approximations N I C K LEVINE

Source URL: www.nicklevine.org

The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p

Source URL: acts.nersc.gov

• Mathematical software
• Operations research
• Numerical software
• Numerical linear algebra
• Cross-platform software
• Portable
• Extensible Toolkit for Scientific Computation
• Computational science
• Wolfram Mathematica
• SageMath
• Mathematical optimization
• Linear programming
• Finite element method